/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/
#include <vm.h>

#define KiB *1024
#define MiB *1024*1024 

// NOTE: Keep ordered in address space order. Some code may search using binary search
pa_range_t pa_mem_map[] = {
  {"GPMC",                 PA_FLASH, 0x00000000, 256 MiB},
  {"L4-Core",              PA_IO,    0x48000000,  16 MiB},
  {"L4-Per",               PA_IO,    0x49000000,   1 MiB},
  {"SGX",                  PA_IO,    0x50000000,  64 KiB},
  {"L4-Emu",               PA_IO,    0x54000000,   8 MiB},
  {"IVA2.2",               PA_IO,    0x5c000000,  48 MiB},
  {"L3 control registers", PA_IO,    0x68000000,  16 MiB},
  {"SMS registers",        PA_IO,    0x6c000000,  16 MiB},
  {"SDRC registers",       PA_IO,    0x6d000000,  16 MiB},
  {"GPMC registers",       PA_IO,    0x6c000000,  16 MiB},
  {"SDRC/SMS VAS0",        PA_IO,    0x70000000, 256 MiB},
  {"CS0-SDRAM",            PA_RAM,   0x80000000, 256 MiB},
  {"SDRC/SMS VAS1",        PA_IO,    0xe0000000, 512 MiB},
  {NULL,                   0,        0,          0      },
};

void
bsp_init(void)
{
  
}

